Differential Puiseux theorem in generalized series fields of finite rank
نویسنده
چکیده
We study differential equations F (y, . . . , y) = 0 where F (Y0, . . . , Yn) is a formal series in Y0, . . . , Yn with coefficients in some field of generalized power series Kr with finite rank r ∈ N ∗. Our purpose is to understand the connection between the set of exponents of the coefficients of the equation Supp F and the set Supp y0 of exponents of the elements y0 ∈ Kr that are solutions.
منابع مشابه
A note on the computation of Puiseux series solutions of the Riccatti equation associated with a homogeneous linear ordinary differential equation
We present in this paper a detailed note on the computation of Puiseux series solutions of the Riccatti equation associated with a homogeneous linear ordinary differential equation. This paper is a continuation of [1] which was on the complexity of solving arbitrary ordinary polynomial differential equations in terms of Puiseux series. Introduction LetK = Q(T1, . . . , Tl)[η] be a finite extens...
متن کاملOn the complexity of solving ordinary differential equations in terms of Puiseux series
We prove that the binary complexity of solving ordinary polynomial differential equations in terms of Puiseux series is single exponential in the number of terms in the series. Such a bound was given by Grigoriev [10] for Riccatti differential polynomials associated to ordinary linear differential operators. In this paper, we get the same bound for arbitrary differential polynomials. The algori...
متن کاملThe Algebraic Closure of the Power Series Field in Positive Characteristic
For K an algebraically closed field, let K((t)) denote the quotient field of the power series ring over K. The “Newton-Puiseux theorem” states that if K has characteristic 0, the algebraic closure of K((t)) is the union of the fields K((t1/n)) over n ∈ N. We answer a question of Abhyankar by constructing an algebraic closure of K((t)) for any field K of positive characteristic explicitly in ter...
متن کاملReal Closed Fields with Nonstandard Analytic Structure
We consider the ordered field which is the completion of the Puiseux series field over R equipped with a ring of analytic functions on [−1, 1]n which contains the standard subanalytic functions as well as functions given by tadically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o–minimality in the corresponding language...
متن کاملReal Closed Fields with Nonstandard and Standard Analytic Structure
We consider the ordered field which is the completion of the Puiseux series field over R equipped with a ring of analytic functions on [−1, 1]n which contains the standard subanalytic functions as well as functions given by tadically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o–minimality in the corresponding language...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009